That feels certainly right on both points. Another point of contention that perhaps shall be left out for later discussion (i might have got some preconditione

That feels certainly right on both points. Another point of contention that perhaps shall be left out for later discussion (i might have got some preconditioned view, but perhaps would like to hear others first) is whether the third category should be considered "equal" to the 0 and F.