proof without p_p done?