Author: G. a. Kleene