What is formal example?