Choice of an intelligible sort is excluded, not only because there is no time anterior to time, but because choice presupposes a prior commitment and because the idea of an initial choice involves a contradiction.