S (Boolos 1989)