... ll never see a bald negation of a conditional connective on ... the expressive power to approximate most natural language conditionals. From ... a formal point of view, it seems the ... logic, @quinnxzhang? Your awareness of correct use-mention notation, as ...