Zaslat SMS: Non-finite complementation