poset tools