 (The inference from (1) to (2) here requires two additional, and I hope obvious, assumptions: (1a) Knowing a proposition requires having the concepts necessary for thinking the proposition, and (1b) The concept of a BIV is one by which the known proposition is grasped.)