File:Happy gfsm.png