(down i(= n 22)4(= n(trunc:* pr.n 7/3)))