{ Sorry for the lack of quoting. It's just easier to cut everything when on
the phone. }

I don't know about this specific case, but I remember that the standard was
full of places that used "if" when "if and only if" would be expected.
Including in definitions.

-- 
--
.:: Gennaro Prota ::.
.:: https://about.me/gennaro.prota ::.