The Proposition

6e7a2990-c551-012f-0911-58d385a7bc34  (1) 6ecd11f0-c551-012f-50a1-58d385a7bc34  (1) d9ff00f0-d427-012f-0857-58d385a7bbd0  (1) dd33b5a0-d427-012f-91d9-58d385a7bbd0  (1) e0939aa0-d427-012f-a5f7-58d385a7bbd0  (1) e3a09100-d427-012f-10ba-58d385a7bbd0  (1) e647c610-d427-012f-5bc2-58d385a7bbd0  (1) e8cfe330-d427-012f-050e-58d385a7bbd0  (1) ec89a430-d427-012f-8647-58d385a7bbd0  (1) 1c288100-d428-012f-b58d-58d385a7bbd0  (1) 1ef96a60-d428-012f-36ec-58d385a7bbd0  (1) 217573b0-d428-012f-87f7-58d385a7bbd0  (1) 73123810-8b1b-0130-94bf-58d385a7b928  (1) 74ef8670-8b1b-0130-475d-58d385a7b928  (1) 769f85e0-8b1b-0130-3dde-58d385a7b928  (1) 87f71160-8b1b-0130-f3ec-58d385a7b928  (1) 897d1d10-8b1b-0130-fb70-58d385a7b928  (1) 8b014cf0-8b1b-0130-a685-58d385a7b928  (1) 8ce3c570-8b1b-0130-3489-58d385a7b928  (1) 8e9cce80-8b1b-0130-d89a-58d385a7b928  (1) 919ab530-8b1b-0130-eb1f-58d385a7b928  (1) 944d8d60-8b1b-0130-4a26-58d385a7b928  (1) 95bf7960-8b1b-0130-7d36-58d385a7b928  (1) 974a2c70-8b1b-0130-84b9-58d385a7b928  (1) 076dd600-8b1d-0130-64e3-58d385a7b928  (1) 0917be40-8b1d-0130-ccef-58d385a7b928  (1) b871ecb0-8b1e-0130-1734-58d385a7bbd0  (1) 819e6b40-8b1f-0130-fdb4-58d385a7bbd0  (1) 889f8a60-8b1f-0130-bbb9-58d385a7bbd0  (1) bdf19c70-8b1f-0130-1ca0-58d385a7bbd0  (1) c0aa2900-8b1f-0130-ca2a-58d385a7bbd0  (1) c22f1960-8b1f-0130-1fcb-58d385a7bbd0  (1) c3a6c3d0-8b1f-0130-50ea-58d385a7bbd0  (1) c7b587a0-8b1f-0130-2bd9-58d385a7bbd0  (1) ca1fd5c0-8b1f-0130-372d-58d385a7bbd0  (1) ecb181c0-8b1f-0130-819a-58d385a7bbd0  (1) eea527e0-8b1f-0130-77ad-58d385a7bbd0  (1) f07acbc0-8b1f-0130-77fd-58d385a7bbd0  (1) f2a85ab0-8b1f-0130-c880-58d385a7bbd0  (1) f41e8f50-8b1f-0130-5e94-58d385a7bbd0  (1) 2d4bc8e0-8b28-0130-e6f9-58d385a7bbd0  (1) 0038be30-8b2b-0130-904e-58d385a7bbd0  (1) 01be7850-8b2b-0130-15b7-58d385a7bbd0  (1) 03325a20-8b2b-0130-68c4-58d385a7bbd0  (1) 05404930-8b2b-0130-b3a7-58d385a7bbd0  (1) 085ddf20-8b2b-0130-a7a2-58d385a7bbd0  (1) 0b957340-8b2b-0130-58ad-58d385a7bbd0  (1) 12270400-8b2b-0130-915d-58d385a7bbd0  (1) 13e833d0-8b2b-0130-8aeb-58d385a7bbd0  (1) 5895ee30-8b2c-0130-55f9-58d385a7b928  (1) aa42b340-8b2c-0130-306b-58d385a7b928  (1) ade696c0-8b2c-0130-5672-58d385a7b928  (1) afe78b80-8b2c-0130-e600-58d385a7b928  (1) b19d63e0-8b2c-0130-65b2-58d385a7b928  (1) b350d780-8b2c-0130-1c69-58d385a7b928  (1) b4c6d390-8b2c-0130-8fe2-58d385a7b928  (1) b6c3d8c0-8b2c-0130-5b63-58d385a7b928  (1) b8d7e090-8b2c-0130-1e1b-58d385a7b928  (1) babd7ec0-8b2c-0130-7310-58d385a7b928  (1) bd6eb950-8b2c-0130-482d-58d385a7b928  (1) c01bbb20-8b2c-0130-25ef-58d385a7b928  (1) efbc3230-8b33-0130-bb4a-58d385a7b928  (1) f2e4e150-8b33-0130-a620-58d385a7b928  (1) f54954b0-8b33-0130-6a1f-58d385a7b928  (1) f70050b0-8b33-0130-1a7b-58d385a7b928  (1) f8cb9d70-8b33-0130-8e71-58d385a7b928  (1) fab30f80-8b33-0130-9c26-58d385a7b928  (1) fc3dbef0-8b33-0130-51f9-58d385a7b928  (1) fde9a6f0-8b33-0130-ee27-58d385a7b928  (1) 010b6000-8b34-0130-4037-58d385a7b928  (1) 035af450-8b34-0130-f148-58d385a7b928  (1) 05d89050-8b34-0130-a962-58d385a7b928  (1) 08534b40-8b34-0130-276c-58d385a7b928  (1) 0ab5a030-8b34-0130-2510-58d385a7b928  (1) 0cd6a5a0-8b34-0130-9725-58d385a7b928  (1) 0f217540-8b34-0130-3e6c-58d385a7b928  (1) 112fb220-8b34-0130-0f38-58d385a7b928  (1) 13702330-8b34-0130-fb09-58d385a7b928  (1) 1558fa20-8b34-0130-56a0-58d385a7b928  (1) 17745db0-8b34-0130-021f-58d385a7b928  (1) 19bf3f60-8b34-0130-738c-58d385a7b928  (1) 1c552570-8b34-0130-27e4-58d385a7b928  (1) 1e5f9960-8b34-0130-2fee-58d385a7b928  (1)