I didn't say it couldn't; I didn't say anything about formal verification.