Ultrarecursive Trademarks