https://samirpaul.in/posts/check-for-contradictions-in-equations/