New formula role corollary