Lab7_242S08.mw
'combine'
'assume' and 'assuming'
Exercises