Notes on buying a house