Title: Categories and De Interpretatione