tests, which reveal a dumb bug with maps and a simplification