Proving Nonexistence