(n.) Separation by bounds.