Added operator specifications