^ 52 . ?- 2 . ?- s- 2 §2.