Add Prop
Solve almost all excercises of Prop