clarifications regarding Set/Prop for classical