final magesProofs