This means that an application-founded formula decides the consequence of for every spin otherwise round