How high would house prices be if they’d matched inflation since 1952?