authenticated(W,w3_mail).