exp9 (26.20 Elementary)