Text this: Two papers on symbolic logic :