Some work on simulation, commands and witnesses