for mapOnPath: changed f into varphi etc