the proofs of the utility of the following choices are left to the reader: