A two-dimensional binary (k = 2) totalistic cellular automaton with a von Neumann neighborhood of range r = 1. It has a birth rule that at least 2 of its 4 neighbors are alive, and a survival rule that all cells survive. n steps of bootstrap percolation on an s×s grid with random initial condition of density p can be implemented in the Wolfram Language as