Resolving existential import/fallacy

This is also relevant to this thread because the picture also has a little snippet about Boole.