TimedBooleanSeq updated.