Create PROP_SHORT.md