------------------
Basic MONADIC Test
------------------

See https://github.com/josd/bmb

The tests are at http://josd.github.io/eye/reasoning/bmt/test
