[S] ==> (Janestuck p 133)