"Your position is not available because of budget cut" is the lay-off reason. HR won't write: you are laid off.