It was in writting, yes. I don't think I still have access to it: I don't keep archives of employer email, but I did use yahoo-inc email from mail.yahoo.com, as was allowed and sometimes encouraged, from time to time, and continue to have some access to old work emails through that; this chain of mail could be in there, but I'm not going to look for the same reason I haven't purged all that. It's too much effort and I don't care enough.