There Must Be Exactly One Solution