Piecewise-defined functions