boolean_demo