docs for execution function