possibly finished unifier. examine this in detail