Used admits for universe inconsistencies.