sim code and proof change