Zaslat SMS: What is the theory ZFC without power set?