implementation of run_n;
lifting operators
bugfix in run_n; fix in doc