:: deftheorem defines L-Meas MEASUR12:def 12 :
L-Meas = COM B-Meas;