work on Bool poset