File:IMPLIES A.png