Wed, 23 Nov 2016 21:15:26 +0100 Madarasi Peter All proofs of vf2pp' section removed