Auto Implemented Properties and LazyT