Added `four` for testing expressions of four Booleans