The universe is best modeled with substructural linear logic, so makes sense.