0 | repeatedly(.+1; 3)