Playground for 'proof in functions' materials.