User blog comment:Antares.I.G.Harrison/Ultra Psi Notaition/@comment-2033667-20150210013212

rules 4,5,6 appear to be an attempt at defining a general case through examples, which is a sin in googology and mathematics in general. use induction