Inverse Resolution Running the Resolution proof backwards. Example ![[CleanShot 2023-10-04 at 22.16.07@2x.png]]
