version 0.1 - intro/background/approach/proof.