An engineered genetic circuit for lactose intolerance alleviation