5, point-free