\prop already used