And since it’s only used in this one place, I declared it as a

private fun Document.properties()

within the class that uses it