CanUnify. Not yet fully heterogeneus