An argument that shows only that a BIV's self-referential denial is vacuously true leaves open wheth...