Implemented BiMultiMapSpec, passes.