complimented state_edges solution