ex. 9 and 10 in Scheme
φ and ψ