= ArmstrongJ = [[ListTagged(ArmstrongJ)]]