//IN1002 Computation and Reasoning Notes Sample-page-002