added calls to pushOperator