a law like "exactly the first label/annotation is applied" would be super, super strict