File:Proposition Type E.png