Logical unification in Python
