SMS: Fine structure and class forcing