Use private-set auto properties