edge labels & debugging