build record lenses with TH