SMS: Non-finite complementation