Create homework5-Formal method.md