Pero eso implica que: