EFSM walking, extending, and PTA building.