Contracts as State Machines — MYOPIC.LAW