For any proposition s, there is a fixed alphabetic order of all extra-logical simple ideas contained...