more progress on proving