https://theinsightt.com/2023/04/02/resolution-and-independence/