Agreed—this sort of “bucket error” can be generalized to “invisible uninspected background assumption”. But those don’t necessarily need to be biconditionals.
Agreed—this sort of “bucket error” can be generalized to “invisible uninspected background assumption”. But those don’t necessarily need to be biconditionals.