fixing the dfa in the agree calendar and updating the quasi model to prove everything correctly!