added input lyambda and webBrowsers for theory