Proof of Graz [ENG/DEU]