------------------------- MODULE NumbersBIsOdd --------------------------------
EXTENDS Numbers
-------------------------------------------------------------------------------

BIsOddTest ==
    /\ b % 2 = 1

===============================================================================