filled out, part of copy fsm