This assertion is weak because it only considers everything that is part of `$subscriptions`.