Then they have solved one of the fundamental hard things in computer science.