It doesn't. I just liked the idea of the subsequent case evaluating tuples instead of mostly tuples and one atom clause.