Drop ELIMINATE-TRUTH-VALUES (we never use this).