How To Use Kleener's Choice