User blog comment:Cookiefonster/My informal proposal of BEAF from limit of tetrational arrays up to SVO/@comment-5150073-20140920170843/@comment-1605058-20140927105731

We have infinitely many possibilities. We would discard many of them but we still will have infinitely many.