User blog comment:Vel!/Mega-Array Notation/@comment-4224897-20141003114608/@comment-24509095-20141003163105

Extension!

Rule 7:

{a,2U({a,b})} = {a,3U({b,a,U(a - b)})}