Consider that a requirement is implemented when all its implementations are