Do i get it right, that there will be an opening print and iff SPX down 7% or more trading will be halted. So ES could potentially open lower probably at exactly 7% limit down after the auction from 9:25-9:30 and only halt after the opening print in equity markets (which might be a tiny bit after 9:30).