@dougalcorn This just changed. We're saying that paid time off can be used in conjunction.