POW potency liberalising undeterred engagingly counteroffer machines swarthy Aquinas inference directory