Consider dropping the entire section on static checking (including 'sealed')

[gvanrossum]

This section caused mostly confusion and bewilderment, and I don't consider it essential for the PEP. Static checkers have always managed to figure out how best to check existing Python constructs without formal specifications.

[Tobias-Kohn]

Agreed. Perhaps this is also something that might best be put into a separate PEP if we want to follow up on this.

[dmoisset]

+1

[willingc]

+1 to simplify and use a future PEP if desired.

[brandtbucher]

Agreed. I believe we just inherited it without modification from Ivan's first draft.

[gvanrossum]

Done.