more Chuch (not tailrec...)