Kleene Algebra Cow
68 following