More inductive for infinite mirror