I'm not aware of the specifics of that particular case, but this is something that would be determined by the Treasury Board, as it is the employer and sets the rules around this type of access to these funds.
Certainly I can follow up with the Treasury Board on the specifics of this, but there's nothing that we have in terms of a policy per se around this issue.