• not_ab_imp_not_a_proof -rw-r--r-- 3210882 bytes
• not_ab_imp_not_a_protocol -rw-r--r-- 59396 bytes
• not_not_not_a_imp_not_a_proof -rw-r--r-- 3210882 bytes
• not_not_not_a_imp_not_a_protocol -rw-r--r-- 58452 bytes