No Choice If Logic's First

4