Renamed State to Mealy, Map for Mealy