[POPL Seg 1] Added "earlier you said that" code