still couple of exercises to do in Prop.v