Some facts about heat pumps