shorter and sweeter fsm
embellishments