14, point-free