tweaks suggested by Dave
fewer backslashes is better
inline a lemma
tweak: paragraph break
whitespace only