(bind (((proof-log-port) '#f)) (include-files (files (imps theories/cardinality/cardinality-supplements) (imps theories/cardinality/combinatorics))))