SuperEx Educational Series: Understanding Rollup Finality