▲ 3 ▼ Video: Propositions as types youtube.com posted by kenny 3132 days ago Register to comment or vote on this story