[@Pudding]
What is a formal?