Probably like Prolog, we get to generate all possible variations.