Is this an iff relationship? ie if all of these qualities hold, is it known to be manifold?