GT-substitution Documentation