Zaslat SMS: Abstract set theory