Delete monty_proved.jy