Slices lower and higher bounds issues

This was answered at Understanding "slices" and its output