Logical Progression Level 1
compilation