Comment by pfortuny

This is awesome. This result would fit perfectly well in Wolfram's NKS. The next question is... is this the minimum?