Update homework5-Formal method.md