other,15-3-P83-1004,ak | computational tractability </term> and <term> | explanatory adequacy | </term> . We show that none of them satisfies | #14766 We evaluate several proposals for constraining them, basing our assessment on computational tractability and explanatory adequacy . |