[smart] on_multiplicity takes a Requires as parameter (instead a Require)