Update monty_proved.jy