The inference rules governing logical constants presuppose their semantic content to avoid equivocat...
This proposition has not been edited since the history system was added.