{} ⩓ Bool