Add rule example when k = 4