Pošalji SMS: Set theory and logic,