". Respondents mentioned easy-to-maintain take a look at automation that is decoupled from the game under take a look at. While graded semantics has thus far been constrained to apply solely to finite-depth equivalences (finite-depth bisimilarity, finite trace equivalence, and so forth.), we receive, beneath the talked about circumstances on the graded monad, a new notion of infinite-depth equivalence...