Examples and necessity - Glouberman, Seymour (1972)