thanpa: Now asserting booleans as well