Using these languages is pretty close to a mathematical proof.