Dually, sometimes you'll have something like 1 < 0 as an assumption, which means you can close any goal.