5.1.2 ProBoolean(超级布尔)