wrote '+' operand for TimeInterval