https://www.mofahras.com/2023/11/deductive-method.html