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.