(ALEOBFT::ENDORSED-IN-AUTHOR-P)
(ALEOBFT::ENDORSED-IN-AUTHOR-P-NECC
 (8 8 (:DEFINITION MV-NTH))
 )
(ALEOBFT::BOOLEANP-OF-ENDORSED-IN-AUTHOR-P)
(ALEOBFT::ENDORSED-IN-AUTHOR-P
 (124 39 (:REWRITE SET::IN-TAIL))
 (54 54 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (54 25 (:REWRITE SET::NEVER-IN-EMPTY))
 (43 14 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (12 4 (:REWRITE SETP-WHEN-POS-SETP))
 (12 4 (:REWRITE ALEOBFT::SETP-WHEN-MESSAGE-SETP))
 (12 4 (:REWRITE ALEOBFT::SETP-WHEN-CERTIFICATE-SETP))
 (8 8 (:TYPE-PRESCRIPTION POS-SETP))
 (8 8 (:TYPE-PRESCRIPTION ALEOBFT::MESSAGE-SETP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::KEYS-WHEN-EMPTYP))
 (6 2 (:REWRITE ALEOBFT::MAPP-WHEN-ADDRESS-VALIDATOR-STATE-MAPP))
 (6 2 (:REWRITE ALEOBFT::MAPP-WHEN-ADDRESS-POS-MAPP))
 (5 3 (:REWRITE OMAP::KEYS-WHEN-EMPTYP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (4 4 (:TYPE-PRESCRIPTION ALEOBFT::ADDRESS-VALIDATOR-STATE-MAPP))
 (4 4 (:TYPE-PRESCRIPTION ALEOBFT::ADDRESS-POS-MAPP))
 (4 2 (:REWRITE OMAP::SET-EMPTYP-OF-KEYS))
 (2 2 (:REWRITE ALEOBFT::PROPOSALP-WHEN-ASSOC-PROPOSAL-ADDRESS-SET-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-VALIDATOR-STATE-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-POS-MAPP-BINDS-FREE-X))
 )
(ALEOBFT::ENDORSED-IN-AUTHOR-P-OF-SYSTEM-STATE-FIX-SYSTATE
 (2784 660 (:REWRITE SET::IN-TAIL))
 (1216 1216 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1134 330 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (1134 330 (:REWRITE SET::NEVER-IN-EMPTY))
 (309 133 (:REWRITE ALEOBFT::SYSTEM-STATE-FIX-WHEN-SYSTEM-STATEP))
 (260 52 (:REWRITE ALEOBFT::EMPTYP-OF-CERT-SET->PROP-SET))
 (184 184 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (184 92 (:REWRITE OMAP::SET-EMPTYP-OF-KEYS))
 (176 176 (:TYPE-PRESCRIPTION ALEOBFT::SYSTEM-STATEP))
 (156 52 (:REWRITE ALEOBFT::CERTIFICATE-SET-FIX-WHEN-CERTIFICATE-SETP))
 (138 46 (:REWRITE OMAP::KEYS-WHEN-EMPTYP))
 (52 52 (:TYPE-PRESCRIPTION ALEOBFT::CERTIFICATE-SETP))
 (52 52 (:REWRITE ALEOBFT::CERTIFICATE-SETP-OF-VALIDATOR-STATE->DAG))
 )
(ALEOBFT::ENDORSED-IN-AUTHOR-P-SYSTEM-STATE-EQUIV-CONGRUENCE-ON-SYSTATE)
(ALEOBFT::ENDORSED-IN-AUTHOR-P-WHEN-INIT
 (13 4 (:REWRITE SET::IN-TAIL))
 (3 1 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (2 2 (:REWRITE-QUOTED-CONSTANT ALEOBFT::CERTIFICATE-SET-FIX-UNDER-CERTIFICATE-SET-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT ALEOBFT::PROPOSAL-SET-FIX-UNDER-PROPOSAL-SET-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT ALEOBFT::PROPOSAL-ADDRESS-SET-MAP-FIX-UNDER-PROPOSAL-ADDRESS-SET-MAP-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT POS-FIX-UNDER-POS-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT ALEOBFT::BLOCK-LIST-FIX-UNDER-BLOCK-LIST-EQUIV))
 )
(ALEOBFT::ENDORSED-IN-AUTHOR-P-OF-PROPOSE-NEXT
 (1838 435 (:REWRITE SET::IN-TAIL))
 (793 793 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (753 215 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (753 215 (:REWRITE SET::NEVER-IN-EMPTY))
 (233 233 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (190 38 (:REWRITE ALEOBFT::EMPTYP-OF-CERT-SET->PROP-SET))
 (150 15 (:REWRITE ALEOBFT::PROPOSAL-FIX-WHEN-PROPOSALP))
 (146 73 (:REWRITE OMAP::SET-EMPTYP-OF-KEYS))
 (144 72 (:TYPE-PRESCRIPTION OMAP::ASSOC-WHEN-EMPTYP))
 (114 38 (:REWRITE ALEOBFT::CERTIFICATE-SET-FIX-WHEN-CERTIFICATE-SETP))
 (102 34 (:REWRITE OMAP::KEYS-WHEN-EMPTYP))
 (75 15 (:REWRITE ALEOBFT::PROPOSALP-WHEN-PROPOSAL-OPTIONP))
 (45 45 (:TYPE-PRESCRIPTION ALEOBFT::PROPOSALP))
 (38 38 (:TYPE-PRESCRIPTION ALEOBFT::CERTIFICATE-SETP))
 (38 38 (:REWRITE ALEOBFT::CERTIFICATE-SETP-OF-VALIDATOR-STATE->DAG))
 (30 30 (:TYPE-PRESCRIPTION ALEOBFT::PROPOSAL-OPTIONP))
 (30 15 (:REWRITE ALEOBFT::PROPOSAL-OPTIONP-WHEN-PROPOSALP))
 (30 10 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (25 5 (:REWRITE SET::INSERT-IDENTITY))
 (20 20 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-VALIDATOR-STATE-MAPP-BINDS-FREE-X))
 (20 20 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-POS-MAPP-BINDS-FREE-X))
 (20 5 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (15 15 (:REWRITE ALEOBFT::PROPOSALP-WHEN-IN-PROPOSAL-SETP-BINDS-FREE-X))
 (15 15 (:REWRITE ALEOBFT::PROPOSALP-WHEN-ASSOC-PROPOSAL-ADDRESS-SET-MAPP-BINDS-FREE-X))
 )
(ALEOBFT::ENDORSED-IN-AUTHOR-P-OF-ENDORSE-NEXT
 (20899 5070 (:REWRITE SET::IN-TAIL))
 (8364 2473 (:REWRITE SET::NEVER-IN-EMPTY))
 (8338 2447 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (5370 2937 (:TYPE-PRESCRIPTION ALEOBFT::POSP-OF-VALIDATORS-STAKE))
 (5340 2922 (:TYPE-PRESCRIPTION ALEOBFT::POSP-OF-COMMITTEE-QUORUM-STAKE))
 (2490 486 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ADDRESS-OPTIONP))
 (2418 2418 (:TYPE-PRESCRIPTION ALEOBFT::COMMITTEE-NONEMPTYP))
 (1960 196 (:REWRITE ALEOBFT::PROPOSAL-FIX-WHEN-PROPOSALP))
 (1830 366 (:REWRITE ALEOBFT::EMPTYP-OF-CERT-SET->PROP-SET))
 (1377 459 (:REWRITE ALEOBFT::CERTIFICATE-SET-FIX-WHEN-CERTIFICATE-SETP))
 (1132 566 (:REWRITE OMAP::SET-EMPTYP-OF-KEYS))
 (1032 486 (:REWRITE ALEOBFT::ADDRESS-OPTIONP-WHEN-ADDRESSP))
 (980 196 (:REWRITE ALEOBFT::PROPOSALP-WHEN-PROPOSAL-OPTIONP))
 (972 972 (:TYPE-PRESCRIPTION ALEOBFT::ADDRESS-OPTIONP))
 (849 283 (:REWRITE OMAP::KEYS-WHEN-EMPTYP))
 (786 786 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-VALIDATOR-STATE-MAPP-BINDS-FREE-X))
 (786 786 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-POS-MAPP-BINDS-FREE-X))
 (750 150 (:REWRITE SET::INSERT-IDENTITY))
 (651 93 (:REWRITE SET::EMPTYP-SUBSET-2))
 (588 588 (:TYPE-PRESCRIPTION ALEOBFT::PROPOSALP))
 (465 93 (:REWRITE ALEOBFT::EMPTYP-OF-CERT-SET->AUTHOR-SET))
 (459 459 (:TYPE-PRESCRIPTION ALEOBFT::CERTIFICATE-SETP))
 (450 150 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (392 392 (:TYPE-PRESCRIPTION ALEOBFT::PROPOSAL-OPTIONP))
 (392 196 (:REWRITE ALEOBFT::PROPOSAL-OPTIONP-WHEN-PROPOSALP))
 (366 366 (:REWRITE ALEOBFT::CERTIFICATE-SETP-OF-VALIDATOR-STATE->DAG))
 (196 196 (:REWRITE ALEOBFT::PROPOSALP-WHEN-IN-PROPOSAL-SETP-BINDS-FREE-X))
 (196 196 (:REWRITE ALEOBFT::PROPOSALP-WHEN-ASSOC-PROPOSAL-ADDRESS-SET-MAPP-BINDS-FREE-X))
 (93 93 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (93 93 (:REWRITE SET::EMPTYP-SUBSET))
 (93 93 (:REWRITE ALEOBFT::CERTIFICATE-SETP-OF-CERTS-WITH-ROUND))
 (75 75 (:REWRITE-QUOTED-CONSTANT POS-FIX-UNDER-POS-EQUIV))
 )
(ALEOBFT::ENDORSED-IN-AUTHOR-P-OF-AUGMENT-NEXT
 (1858 445 (:REWRITE SET::IN-TAIL))
 (813 813 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (753 215 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (753 215 (:REWRITE SET::NEVER-IN-EMPTY))
 (255 255 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (190 38 (:REWRITE ALEOBFT::EMPTYP-OF-CERT-SET->PROP-SET))
 (160 25 (:REWRITE ALEOBFT::PROPOSAL-FIX-WHEN-PROPOSALP))
 (148 74 (:TYPE-PRESCRIPTION OMAP::ASSOC-WHEN-EMPTYP))
 (146 73 (:REWRITE OMAP::SET-EMPTYP-OF-KEYS))
 (114 38 (:REWRITE ALEOBFT::CERTIFICATE-SET-FIX-WHEN-CERTIFICATE-SETP))
 (102 34 (:REWRITE OMAP::KEYS-WHEN-EMPTYP))
 (75 15 (:REWRITE ALEOBFT::PROPOSALP-WHEN-PROPOSAL-OPTIONP))
 (75 15 (:REWRITE SET::INSERT-IDENTITY))
 (50 15 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (50 10 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ADDRESS-OPTIONP))
 (45 45 (:TYPE-PRESCRIPTION ALEOBFT::PROPOSALP))
 (38 38 (:TYPE-PRESCRIPTION ALEOBFT::CERTIFICATE-SETP))
 (38 38 (:REWRITE ALEOBFT::CERTIFICATE-SETP-OF-VALIDATOR-STATE->DAG))
 (30 30 (:TYPE-PRESCRIPTION ALEOBFT::PROPOSAL-OPTIONP))
 (30 30 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-VALIDATOR-STATE-MAPP-BINDS-FREE-X))
 (30 30 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-POS-MAPP-BINDS-FREE-X))
 (30 15 (:REWRITE ALEOBFT::PROPOSAL-OPTIONP-WHEN-PROPOSALP))
 (30 10 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (30 10 (:REWRITE OMAP::LOOKUP-WHEN-EMPTYP))
 (20 20 (:TYPE-PRESCRIPTION ALEOBFT::ADDRESS-OPTIONP))
 (20 10 (:REWRITE ALEOBFT::ADDRESS-OPTIONP-WHEN-ADDRESSP))
 (15 15 (:REWRITE ALEOBFT::PROPOSALP-WHEN-IN-PROPOSAL-SETP-BINDS-FREE-X))
 (15 15 (:REWRITE ALEOBFT::PROPOSALP-WHEN-ASSOC-PROPOSAL-ADDRESS-SET-MAPP-BINDS-FREE-X))
 (10 10 (:REWRITE ALEOBFT::ADDRESSP-WHEN-IN-ADDRESS-SETP-BINDS-FREE-X))
 )
(ALEOBFT::ENDORSED-IN-AUTHOR-P-OF-CERTIFY-NEXT
 (2558 600 (:REWRITE SET::IN-TAIL))
 (1126 1126 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1083 275 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (1023 285 (:REWRITE SET::NEVER-IN-EMPTY))
 (525 95 (:REWRITE ALEOBFT::EMPTYP-OF-CERT-SET->PROP-SET))
 (360 360 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (360 140 (:TYPE-PRESCRIPTION OMAP::ASSOC-WHEN-EMPTYP))
 (290 10 (:REWRITE OMAP::DELETE-WHEN-NOT-ASSOC))
 (275 25 (:REWRITE ALEOBFT::CERTIFICATE-FIX-WHEN-CERTIFICATEP))
 (265 95 (:REWRITE ALEOBFT::CERTIFICATE-SET-FIX-WHEN-CERTIFICATE-SETP))
 (215 40 (:REWRITE ALEOBFT::CERTIFICATEP-WHEN-CERTIFICATE-OPTIONP))
 (200 40 (:REWRITE SET::INSERT-IDENTITY))
 (180 40 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (160 80 (:REWRITE OMAP::SET-EMPTYP-OF-KEYS))
 (120 40 (:REWRITE OMAP::KEYS-WHEN-EMPTYP))
 (95 40 (:REWRITE ALEOBFT::CERTIFICATE-OPTIONP-WHEN-CERTIFICATEP))
 (90 10 (:REWRITE SET::DELETE-NONMEMBER-CANCEL))
 (80 80 (:TYPE-PRESCRIPTION ALEOBFT::CERTIFICATE-OPTIONP))
 (80 80 (:REWRITE ALEOBFT::CERTIFICATEP-WHEN-MEMBER-EQUAL-OF-CERTIFICATE-LISTP))
 (70 20 (:REWRITE ALEOBFT::EMPTYP-CERTIFICATE-SET-FIX))
 (70 10 (:REWRITE OMAP::ASSOC-WHEN-ASSOC-TAIL))
 (70 10 (:REWRITE OMAP::ASSOC-WHEN-ASSOC-OF-TAIL-CHEAP))
 (40 40 (:REWRITE ALEOBFT::CERTIFICATEP-WHEN-IN-CERTIFICATE-SETP-BINDS-FREE-X))
 (40 40 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-VALIDATOR-STATE-MAPP-BINDS-FREE-X))
 (40 40 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-POS-MAPP-BINDS-FREE-X))
 (40 20 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (30 10 (:REWRITE OMAP::DELETE-WHEN-EMPTYP))
 (30 10 (:REWRITE OMAP::ASSOC-WHEN-EMPTYP))
 (10 10 (:REWRITE OMAP::ASSOC-WHEN-SUBMAP-AND-ASSOC-SYNTAXP))
 (10 10 (:REWRITE OMAP::ASSOC-WHEN-COMPATIBLEP-AND-ASSOC-SYNTAXP))
 (10 10 (:REWRITE OMAP::ASSOC-UNDER-IFF-WHEN-SUBMAP-AND-ASSOC))
 )
(ALEOBFT::ENDORSED-IN-AUTHOR-P-OF-ACCEPT-NEXT
 (3053 730 (:REWRITE SET::IN-TAIL))
 (1370 1370 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1268 365 (:REWRITE SET::NEVER-IN-EMPTY))
 (1263 330 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (530 96 (:REWRITE ALEOBFT::EMPTYP-OF-CERT-SET->PROP-SET))
 (465 90 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ADDRESS-OPTIONP))
 (280 35 (:REWRITE SET::DELETE-NONMEMBER-CANCEL))
 (275 25 (:REWRITE ALEOBFT::CERTIFICATE-FIX-WHEN-CERTIFICATEP))
 (268 96 (:REWRITE ALEOBFT::CERTIFICATE-SET-FIX-WHEN-CERTIFICATE-SETP))
 (258 258 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (195 90 (:REWRITE ALEOBFT::ADDRESS-OPTIONP-WHEN-ADDRESSP))
 (185 35 (:REWRITE ALEOBFT::CERTIFICATEP-WHEN-CERTIFICATE-OPTIONP))
 (180 180 (:TYPE-PRESCRIPTION ALEOBFT::ADDRESS-OPTIONP))
 (175 35 (:REWRITE SET::INSERT-IDENTITY))
 (172 86 (:TYPE-PRESCRIPTION OMAP::ASSOC-WHEN-EMPTYP))
 (172 86 (:REWRITE OMAP::SET-EMPTYP-OF-KEYS))
 (145 35 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (129 43 (:REWRITE OMAP::KEYS-WHEN-EMPTYP))
 (125 125 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-VALIDATOR-STATE-MAPP-BINDS-FREE-X))
 (125 125 (:REWRITE ALEOBFT::ADDRESSP-WHEN-ASSOC-ADDRESS-POS-MAPP-BINDS-FREE-X))
 (80 35 (:REWRITE ALEOBFT::CERTIFICATE-OPTIONP-WHEN-CERTIFICATEP))
 (70 70 (:TYPE-PRESCRIPTION ALEOBFT::CERTIFICATE-OPTIONP))
 (70 70 (:REWRITE ALEOBFT::CERTIFICATEP-WHEN-MEMBER-EQUAL-OF-CERTIFICATE-LISTP))
 (70 20 (:REWRITE ALEOBFT::EMPTYP-CERTIFICATE-SET-FIX))
 (35 35 (:REWRITE ALEOBFT::CERTIFICATEP-WHEN-IN-CERTIFICATE-SETP-BINDS-FREE-X))
 )
(ALEOBFT::ENDORSED-IN-AUTHOR-P-OF-ADVANCE-NEXT
 (1393 330 (:REWRITE SET::IN-TAIL))
 (610 610 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (568 165 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (568 165 (:REWRITE SET::NEVER-IN-EMPTY))
 (130 26 (:REWRITE ALEOBFT::EMPTYP-OF-CERT-SET->PROP-SET))
 (92 92 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (92 46 (:REWRITE OMAP::SET-EMPTYP-OF-KEYS))
 (78 26 (:REWRITE ALEOBFT::CERTIFICATE-SET-FIX-WHEN-CERTIFICATE-SETP))
 (69 23 (:REWRITE OMAP::KEYS-WHEN-EMPTYP))
 (26 26 (:TYPE-PRESCRIPTION ALEOBFT::CERTIFICATE-SETP))
 (26 26 (:REWRITE ALEOBFT::CERTIFICATE-SETP-OF-VALIDATOR-STATE->DAG))
 )
(ALEOBFT::ENDORSED-IN-AUTHOR-P-OF-COMMIT-NEXT
 (1393 330 (:REWRITE SET::IN-TAIL))
 (610 610 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (568 165 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (568 165 (:REWRITE SET::NEVER-IN-EMPTY))
 (130 26 (:REWRITE ALEOBFT::EMPTYP-OF-CERT-SET->PROP-SET))
 (92 92 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (92 46 (:REWRITE OMAP::SET-EMPTYP-OF-KEYS))
 (78 26 (:REWRITE ALEOBFT::CERTIFICATE-SET-FIX-WHEN-CERTIFICATE-SETP))
 (69 23 (:REWRITE OMAP::KEYS-WHEN-EMPTYP))
 (26 26 (:TYPE-PRESCRIPTION ALEOBFT::CERTIFICATE-SETP))
 (26 26 (:REWRITE ALEOBFT::CERTIFICATE-SETP-OF-VALIDATOR-STATE->DAG))
 )
(ALEOBFT::ENDORSED-IN-AUTHOR-P-OF-EVENT-NEXT)
(ALEOBFT::ENDORSED-IN-AUTHOR-P-OF-EVENTS-NEXT)
(ALEOBFT::LEMMA
 (6 2 (:REWRITE ALEOBFT::EVENT-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE ALEOBFT::EVENT-LISTP-WHEN-SUBSETP-EQUAL))
 (3 1 (:REWRITE ALEOBFT::SYSTEM-STATE-FIX-WHEN-SYSTEM-STATEP))
 (2 2 (:TYPE-PRESCRIPTION ALEOBFT::SYSTEM-STATEP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 )
(ALEOBFT::ENDORSED-IN-AUTHOR-P-WHEN-REACHABLE)
