solid impl of the StateModel and Command execution