Soar and the case for unified theories of cognition