for A being set holds Top (NormForm A) = {[{},{}]}