invariants in Python - Search