I think we should even add a doc string for properties