5.1 Show that for two-element input sets, the validity condition given in Sec- tion 5.1.2 is equivalent to requiring that every nonfaulty decision be the input of some processor.