User blog comment:Billicusp/UBAF/@comment-27173506-20151230193358/@comment-27071675-20151231000558

Aah, thanks. You've helped me understand hyperoperators much better than before.