https://buaaczx.github.io/posts/20241008-logicpro/