SA code & theory, no progress condition