 Sinot's director strings offer a way of tracking the locations of free variables in expressions.The Church–Rosser property of the lambda calculus means that evaluation (β-reduction) can be carried out in "any order", even in parallel.This means that various nondeterministic evaluation strategies are relevant.