Question: Use the traditional square of opposition together with conversion, obversion, and contraposition to prove that the following immediate inferences are valid. Show each intermediate step in the deduction.
All insurance policies are cryptically written documents. Therefore, some cryptically written documents are insurance policies.