  So by the end of the 14th century the issue of empty terms was clearly recognized. They were permitted in the theory, the O form definitely did not have existential import, and the logical theory, stripped of the incorrect special cases of contraposition and obversion, was coherent and immune to 20th century criticism.