The inference from 'Act A is a lie' to 'Act A is wrong' shares key features with inductive inference...