Proper ideal.