:: deftheorem defines VertexSelector GLIB_000:def 1 :
VertexSelector = 1;