[ x[6] = piecewise(And(t >= 0, t < 5), 1, 0),
  x[8] = piecewise(And(t >= 0, t < 5), 0, piecewise(And(t >= 5, t < 10), 1, 0)) ]