Point-free.