pushed truth table tests into test_that functions, to help debugging