given some precondition
when Tomjon does something
then all if fine