APPROVED
Jeremy J. Carroll
This test shows integer multiplication in OWL DL, interacting with infinity.
N times infinity is 2 times infinity. M times infinity is 3 times infinity. N times M times infinity is 5 times infinity.