First day of Prolog from last week.