for U being Universe holds On U is Ordinal