pi. lxxxv: 
