Source: https://money.stackexchange.com/questions/90609/save-up-more-money-than-necessary-for-house-purchase-or-borrow-more