update for technical proof