What's yellow, normed, and complete?