UNFOLD [ A [] [] ]
