Would this mean that we cannot have D->A (i.e. D can be replaced by A), even though D really can be replaced by A?

Would this create a circular logic problem?
_________________________
Samuel Kopstick
S Kopstick & Associates Inc
Toronto, ON