Exceptional rejection during unification replaced by adaptation. No unbounded var anymore.