Consequently an application-founded algorithm establishes the result of for every spin otherwise round