I am pretty sure we want to allow tick recursion, since it's faster and preserves the same important invariants.