Kleeneness is next to Godelness.