Move Reveal0/1() to VM and move Reveal() above VM