ioga-2014-proofs