10, 11 steps are finished + assertion added