sub all_eq {
  (@_{@_}=1)==keys%_
}