Modularize mu(4e)