I dont think so that a non>proven would be in Z<Z<T and in SA > anything goes!