C := ε | (A C) 4 likes