keep working on fancy ops
fix stupid error in Map, start work on derived proof