Can computation always be reduced to permutation of certain states of a certain subtrate, or be performed by permutation of these, in every possible model of computation, classical or quantum? Or is it too general statement?