Man skulle då tro , att om mankondenserar