Lmaple6.mws Esim. 1 Exa 1, BdiP ss. 382-384 [Untitled Section]