Did both Stephen P. Mugar and Avie Tevanian work in a high leadership capacity at a large firm?