Lab

Proof over polish: each entry is real, working code with a writeup of the problem it solves.