Pošljite SMS: Symbolic logic,