File:Triple Slicer from JML