Added in the section on SHAKE