Proof Writing · Medium problem

For every triangle, the angles sum to $180^\circ$.

There is a triangle such that the angles sum to $180^\circ$.

For every triangle, the angles do not sum to $180^\circ$.

There is no triangle such that the angles sum to $180^\circ$.