mini
===

Runnable code from Section 5