What is the significance of the comparison of Universes and different logics? If you have evidence it is accomplishing something of interest, I would like to see that in the form of a test case.