Theoretical Logic ᏒᎷ's Past Results