そのものがなくても、類似の仕組みはあるわけだし、制約が推論されても良さそうな気はするね。