formula type X's Successors