Is this used in this example?