The modulo-three conjecture for all-heads coin sequences
Modulo-three conjecture. The sequence 1n1^n1n is removable if and only if