Wolfram is offering a total of $20,000 in prize money to determine if the S combinator is universal. Statement of problem to be solved, full guidelines, committee of judges and submission guidelines.