The method of proof by example in interaction analysis