If all widgets are gizmos, and no gizmos are doodads, which of the following is a necessary logical conclusion?