They also get gold at IMO for 15 dollars and solve Erdos problems.