If 'necessarily A' permits worlds where A is false, the logical inference from 'necessarily A' to A—...