Add symbolic logic