sentence1: eastin and knill argued that for any code , transversal gates can only generate a finite group and therefore do not provide universality .
sentence2: however , as shown by eastin and knill , the set of transversal gates for a given code generates a finite group , and therefore can not be universal for quantum computation .