[initial-state3.png]