The basic idea. Compiles.