5.4.2, imperfect on cin