=========
Summary
=========

---------
Summary
---------

* Assignments must satisfy any constraints of LHS

   - Invalid assignments don't alter target

* Intent to do nothing must be explicitly specified
* Case statements alternatives don't fall through
* Any kind of loop can be expressed with building blocks
