Title: symbolic logic