Therefore universal contravalidity, assessed only across actual substitution instances, conflates lo...