for G being non empty void ManySortedSign holds InputVertices G = the carrier of G ;