270 Pages of Documentation and Proof.