The Tribonacci substitution.