ACT // 02-2015 // proofs