diff --git a/internal/catalogue/declaration.go b/internal/catalogue/declaration.go
index 07f4a13..7fd0416 100644
--- a/internal/catalogue/declaration.go
+++ b/internal/catalogue/declaration.go
@@ -801,7 +801,10 @@ func (r Resolution) servedOnThisMachine(provision string, with Rendering) (map[s
 		}
 		serves := ServedOn(m, provision, with.Ports[m.Module])
 		if len(serves) == 0 {
-			return nil, false, nil
+			// It named the provision and said nothing about it, which is the same as not answering:
+			// there is no fact for a consumer to be given. Another module in the set may still have
+			// one, so keep looking rather than concluding from the first.
+			continue
 		}
 		settled, err := Settle(serves, with.Settings[m.Module])
 		if err != nil {