seminaive kleene working