"forcing (sequence S), and (b) there is a known 5-3 ??? fit." . . . .