5.1.11 ProBoolean