contract space operator