rule 2471377380, k=4