pull out unificiation operations
putt out ack norm ex