Handcoding the state