Tweak to proof that is not actually relevant