Played around with recurrences in the conflict checker