EXTRACREDIT Jeremy J. Carroll This test shows integer multiplication in OWL DL.

N is 2. M is 3. N times M is 6.