Create monty_proved.jy