Try expressing a relatively complex state machine with asserts. Then come back in a month and try converting all those asserts back into few English sentences.