Chris Angelico wrote: > You might have won the 100m dash, except that we couldn't verify your > velocity of locomotion without a... run time check. Badumtish. All is not lost. You just need to devise a type system capable of proving that his time is faster than any other runner in all possible races. -- Greg