#2

The properties are functional