Computer scientists are familiar with options in which there are no middle choices between true and false. The lack of such choices is inconvenient — even critical — for example, when determining whether the status of a computer system is go or no-go. Multiple-valued logic is concerned with these intermediate choices.