ABCD
Formal Logic

[[Vehicle with a bumper sticker:
"Honk iff you love formal logic"]]
{{Title text: Note that this implies you should NOT honk solely because I stopped for a pedestrian and you're behind me.}}
Note that this implies you should NOT honk solely because I stopped for a pedestrian and you're behind me.