Martelli-Montanari unification implemented.
Removed unused helper method.