tux case study subtractions