Untested (yet) work on mapABCD