Holyoak and Thagard's systematicity and structural consistency criteria, embedded in ACME, constitut...