ever missing things in the proof important things