Zaslat SMS: Semigroups underlying first-order logic / William Craig.