: Mental models
: Solving logical problems efficiently
: How do we know if we have completed this module?