On Wednesday, 7 October 2015 at 15:46:00 UTC, Andrea Fontana wrote: > On Wednesday, 7 October 2015 at 15:43:44 UTC, Ali Çehreli wrote: >> On 10/07/2015 08:06 AM, Mike Parker wrote: >> Something like shortening, minimizing? > > Slicing? Partitioning?