[see also: identical
We use the same trick as Boas <as Boas does/that Boas does>.
......with the same symbols as are used in......
The quiver Q1 is the same as Q but with x deleted.
This is the same as saying that......
But if E is not reflexive or---what is the same---w is weak, then......
Since the code is linear, showing that it is 3-error-correcting is the same as showing that......
But in fact we get the same thing if we consider all maps into S.
Thus A-equivalence and B-equivalence are the same thing.
Now G can be handled in much the same way.
The same applies to D.
So s can be thought of as q with Fq extended but Xq left the same.