2 experts in "circuit complexity" found: