What does `>= 4` mean?