Começando a implementar o Write.
Sobre as expressões boleanas do while, preciso verificar se está tudo ok
durante o UNDO/REDO. Aparentemente está OK para o UNDO, mas tomo null
pointer na hora de executar o REDO.