User blog comment:Tetramur/BEAF above SVO - comparison/@comment-5150073-20200219121934/@comment-35470197-20200221153155

@Tetramur

Then how about formalising your (or Saibian's) alternative notation up to SVO before considering BHO? It might be helpful, because expansions for lower values sometimes give an inspiration for expansions for larger values.