add assertions for booleans