Final implementation of #execute