wip - unicity constraint