Make them auto properties