PROPERTIES.md for tracking implementations