Make tests pass in 05-booleans