Implications and examples