the contests are very cool indeed
glad we have Linear Logic as a part of the team now too