aha that's a different logical argument you mean verifiability is at issue