Update Execute.v

Added comments