defannotationproperty now defaproperty