ref to cooks theorem
update
ga added