Construable Level Theory - AIMMS LMS