User blog comment:WaxPlanck/k function/@comment-80.98.179.160-20171230195331

Define k(n)=n&n, where we can apply n=whatever expression, and Value(x) the value of x, the expression.

Then, k(2)=4, k(3) is tritri or, k(4) the tetratet, k(Value(gagol))=super(gagol), k(gagol&gagol) is not anymore a supering function.