No need for manual property synthesis.