GSC: x_k omdraaien