Performing Unification - Cornish