Title: Symbolic logic