tutorial now switches focus automatically on Qed