[mock-possum]

God he discovered so many of these? I wonder what it must have been like, to realize, “hey, no one’s found this one before either!!”

[lloydatkinson]

Or he wrote a constraint satisfaction resolver maybe