Thanks, I will try debugging this predicate with the system. I did not know that was a feature. > I don't see how you're trying to achieve that. "abba" isn't called at all by "tls". It is used starting from here: https://github.com/razetime/aoc/blob/main/16/t_a07.m#L13