Yes. The employee’s SEBB benefits would begin June 1 and run through August 31.