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