Automated underwriting systems have been utilized in United States government-backed mortgages for decades