“On the Axiomatization of the Satiation and Habit Formation Utility Models”