no need for type annotation on property