version (try using clever unification)