Implemented \boolean