source of XE for overMonad (label: *****vXE)