A fact about employee mental health and productivity.