More Property-related info in the tutorial appendix