Update PROP_SHORT.md