Inference from general conventions is no longer demanded initially, but remains to the su bsequent sophisticated stage where we frame general statements of the conventions and show how various specific conventional truths, used all along, fit into the general conventions as thus formulated.