add the Prop.v
add the Logic.v