Hi, in the function step i read: if resting(a) > 0 then set_resting(a, resting(a) -1) else switch get_instruction(color(a), state(a)) of ..... // all cases .... case Flip(p, st1, st2); Is it correct that during the resting phase no other actions like sensing are allowed? Christoph