2023.12.7 Day8 Review of Algorithmic Formal Study