• labels: --> diagram editor