Lean's Collectanea (Volume 2, Pt. 2) by Vincent Stuckey Lean