
theorem
  WeightSelector = 5 & ELabelSelector = 6 & VLabelSelector = 7;
