But given the additional assumptions made about K, discarding the former is preferable, in that discarding the latter would also result in the loss of ψ 2 .
some subbases of K (like K \(1) here) are more relevant than others (e.g.