4 ms·

Wish they covered co-induction. I've read the paper linked in the definition but still don't have a very strong intuition for it.