piece-wise defined functions