experimenting with a different presentation of unification