DONE: poset.py