File:Proposition Type IO.png