uniquely embeddable graphs