universe constraint

TODO