Hm, interesting. Pre and post conditions for methods; could be used to assert invariants on the venues state.. -bob http://www.wayforward.net/pycontract/pep-0316.html