Don’t you just love when you implement a simple inference engine for a binary logic without testing it. Then, one week later, you decide to use it for a ternary logic and despite being written for something else and never tested, it seems to actually give the right answer. No? That’s just me?