I’ve become entranced by all the varieties of the knuth bendix completion algorithm as of late.| Hey There Buddo!
