Deterministic if any argument is instantiated to a finite list and the others are either free or finite lists. All three lists are in the same order.