A procedure assistant for astronauts in a functional programming architecture, with step previewing and spoken correction of dialogue moves.