adds full section on SK-theorems. Might be somewhat shaky.