add kleene 1937