[OA] Verify that at least one cell is initialized for nonzero p