Bad librarian failed on boolean operators