tt-conspect
tt-conspect copied to clipboard
Add comments about second-order logic