Use decorator syntax to define properties