removed kleene from note