We need to more thoroughly specify the State Manager, including: - Differences between L1 and L2 - Failure modes during fraud proving - Safety measure required to avoid sandbox escapes