Added definition of SK in terms of TWICE