APPROVED
Jeremy J. Carroll
This test shows integer multiplication in OWL DL.
For some finite K, N times K is 2 times K. M times K is 3 times K. N times M times K is not 5 times K.