Wonderful! Now, "F" does not only mean facebook. Good job Tao and F# team.