A truth predicate that neither explains nor reduces semantic properties collapses into either a fals...