File:Proposition Type A.png