SMS: Sets and boolean algebra,