Ater ett bevis ,tänkte