works very well with muphys, when respective branch is merged