Description: Part of proof of Lemma E in Crawley p. 114, first part of 4th paragraph. F , G , and C represent f(s), f_s(p), and s_1 respectively. We show, in their notation, f_s(p)=(p \/ q) /\ (q \/ s_1). (Contributed by NM, 11-Oct-2012)