@kazuo_reve「嗅いだことありますか？不吉な臭い（仕様スメル・制約スメル・設計スメル・コードスメル）」の「設計」に反応。

@kazuo_reve 嗅いだことありますか？不吉な臭い（仕様スメル・制約スメル・設計スメル・コードスメル）
https://qiita.com/kazuo_reve/items/808dee5fd80b72488587

を拝見sじた。思い当たることが多い『設計』について記録する。

>設計スメル
設計スメルは設計書から検知できる臭いとする。
設計図がシーケンス図のみ
状態はあるが状態遷移表なし
特殊な状態あり
データの生存期間の定義なし
複数のレイヤで同様の状態を保持

#1 「設計図がシーケンス図のみ」	

時系列の変化(sequence chart)の背景に、どういう状態があり、その状態遷移の一つの結果を記録しただけ。

他の時系列に対する対応が取れているかどうかわからないかもしれない。

個々の時系列に対応するよりも、状態遷移を管理すれば、簡単なプログラムで対応できるかもしれない。経験上95%くらいがこちら。
残りの内の4%は状態が分からない場合。状態が非公開のシステムなど。

残りの１％の事例は、例えばsequence chartが、256枚あり、どう考えても、状態の遷移の種類が256以下。

あるいは、状態の遷移の種類は数十以下で、そのうちの例外の種類によって256通りの可能性がある場合など、網羅できていることが確認取れればいい。

シーケンス図のみが、絶対駄目だという訳ではない。

安全分析をするのであれば、刻時図(timing chart)がないと話にならないし、
立場によっていろいろだろう。

1%くらいの場合は、シーケンス図のみ網羅できている場合がある。
なぜって、私、状態遷移はかけないけど、時系列図は好きで書いていて、全部状態遷移を網羅しちゃったということがあるから。

Uppaalを初めて知った時、おお、自分が手作業でやっていたことが、
自動でできるんだと驚いた記憶がある。
https://uppaal.org/

状態遷移から描くようにすればよかったと暫し反省した。

# 2 「状態はあるが状態遷移表なし」

状態の網羅性を確認するために、業界によっては状態遷移表を書く習慣がある。

状態の数が、４つ以上なら、確実に状態遷移表を描いた方がいいと思う。
状態の数が、３つだと悩む。表があった方が見通しはいい。ツールが自動で変換できないものを使っている場合には、まずツールの導入を勧めるか、
状態遷移図から状態遷移表を作成するツールを作ることを勧める。

ZIPC
https://www.zipc.com/jp/solution/zipc_designer/

をはじめ、状態遷移図を描く道具では、状態遷移図から状態遷移表を簡単に生成できるものがある。

UMLでも、2.4.1では、状態遷移表に関する言及がある。
https://www.omg.org/spec/UML/2.4.1/Superstructure/PDF

>E.2 Tabular Notation for Other Behavioral Diagrams
The approach for defining tabular notation for sequence diagrams should also be applicable to other major behavioral diagram types, such as state machine diagrams and activity diagrams.
https://www.omg.org/spec/UML/2.5.1/PDF

なぜか2.5.1 では記述がない。

## 連続な状態
ここまでは、UMLなどで扱う離散な状態の話。
連続な状態は状態方程式で記述する。状態遷移表はない。

状態方程式は例えば、連立微分方程式で記述することがある。

連立微分方程式のPade近似と、Cコンパイラとモデルに基づく設計
https://qiita.com/kaizen_nagoya/items/5e50b3c9c0004fe92bd9

連立微分方程式のPade近似解法　Fortran手による最適化とコンパイラの最適化、誤差の評価
https://qiita.com/kaizen_nagoya/items/c55d29f0d7e9ebd07a31

連続と離散、時間と空間、物理量と生物量。統計と確率(2)
https://qiita.com/kaizen_nagoya/items/d0980c6bf9d3079aa98d
	
# 3 「特殊な状態あり」
「仕様スメル」の「（あいまいな）修飾語」が「特殊な」かも。

何が特殊でないかが確認できないと、特殊が何かがわからない。
何が特殊でないかを確認すると、特殊と言わずに、
「大きすぎる」「小さすぎる」「長すぎる」「短すぎる」「遅すぎる」「早すぎる」「太すぎる」「重すぎる」「軽すぎる」などのより具体的な表現になる可能性がある。

他の値の範囲から３倍以上離れているなど、時々ある事項ならあらかじめ定義しておくことがあるかもしれない。

別の視点から測ると、別の点が他の値の範囲から３倍以上離れていて、その値は他の値の範囲内にあるかもしれない。
すべての個数分だけ視点を用意したら、すべての点が一つの視点では特殊かもしれない。全部の点が特殊点だけからなる集合になることがある。

それは、特殊じゃない状態がない状態って言うんだろうか。

# 4 「データの生存期間の定義なし」

データの生存期間の定義がないと、昔の測定結果に基づいて、とんでもない操作をしてしまう可能性がある。データの生存期間が過ぎたら、また測定しなおすか、測定しなおすまでの間は初期値を使ったりするかなど、戦略または戦術がたててあるとよい。

Time to Live（TTL）とは？| TTL定義
https://www.cloudflare.com/ja-jp/learning/cdn/glossary/time-to-live-ttl/

DNSキャッシュ
https://www.nic.ad.jp/ja/newsletter/No51/0800.html
	
# 5 「複数のレイヤで同様の状態を保持」
複数の階層で同様の状態を保持する場合は、
二重化している場合のほかには、自分と制御対象のような
相手の状態を自分も持っているが、その相手の状態も自分で持つような場合である。

何か操作をする前に、自己検証するため、現在の相手の仮想な状態と、その相手の状態を自分の測定結果として持っている状態との間の相互作用を確かめてから動作させるような仕組みになっている場合。

具体例は実際に関わっていないのであげにくいが、ゲーム機の場合にはあるかもしれない。

# 優先順位づけ
上の考察に基づいて、どの事象から優先順位をつけて対応するかを考えてみる。

特殊な状態については、さんざんぱら文句をつけた。
実際には、すべての点が特殊な値を持つような測定方法を探すのは、至難の技です。
人工衛星などの、地球環境から抜け出る制御を行う場合には考慮しますし、原子力のような危険性の高い対象についても考慮します。それ以外の場合は、ひとまず怪しいやつということで優先順位を１番にします。

1 特殊な状態あり
2 複数のレイヤで同様の状態を保持
3 データの生存期間の定義なし
4 設計図がシーケンス図のみ
5 状態はあるが状態遷移表なし
	
複数の層で同様の状態を保持するのは、その理由が明確な場合です。
次に対応できそうかなって。

３番目はデータの生存期間の定義なし。
いつものデータが初期データと誤差の範囲内であれば、特に問題にする必要がない場合もあるかもしれない。値のばらつきによって重要さがますかもしれない。

４番目はシーケンス図のみ。
どっちみち状態遷移は描いておいた方がいい。
シーケンスから推測できる範囲内だけでも。

状態遷移表がないのは、道具を用意すればいいだけだから一番優先順位を低くした。すぐにつくれるでしょっていう感じ。

立場によって、この順番はいろいろでよい。

優先順位がついていないとすれば、それが一番問題かもしれない。
あるいは、リーダの優先順位に左右されるといけないので、
優先順位をひとまず秘匿しているのかもしれない。

# あとがき
コードは、いろいろな方法で検出することができるかもしれない。

RTL設計スタイルガイド Verilog HDL編(System Verilog対応版）
https://qiita.com/kaizen_nagoya/items/4c02f1575db1f28310a7

MISRA C まとめ #include <misra_c.h>
https://qiita.com/kaizen_nagoya/items/f1a79a7cbd281607c7c9

機械学習で、従来ではみつけにくかった課題も明らかにできるかもしれない。

Data Robotのセミナの際に、話があった。

究極は誰がかかわったかが、一番大きいことがしばしばある。

人名にも着目するといいかも。
ソースコードに人名が書いてないソースは、それが一番悪だということで。

## 仕様＝制約＝設計＝コード
RTL設計スタイルガイドでは、コードを書くことを設計と言います。
コンパイルすると、回路図を生成し、それが実装です。

C言語で書いたのが設計です。コンパイル、リンク、配置（ロケート）したものが実装です。一つのソースコードから多様な実装を産むことができます。

設計した結果を仕様という場合があります。
仕様から設計するとは限りません。
仕様から設計するとすれば、その仕様が不十分な時かもしれません。
設計した結果を仕様と呼ぶようにすれば、次から不十分な仕様で何かを始めることがなくなるかもしれません。

制約を集めたものを設計という場合があります。
制約のない設計は、どんな場合でも役立つか、何にも役立たないかの両極端なのかもしれません。
制約が仕様の一部になっている場合があります。すべての制約を記述したものを仕様とする場合などです。
制約と、設計と、仕様とが一体となって一つの塊になっているような場合です。

そして、仕様、制約、設計を記述するのがコードです。
仕様記述言語、制約記述言語、設計記述言語と、別々のコードになっている場合があるかもしれません。一つの言語で記述できる場合があるかもしれません。

設計で考察したことを、仕様、制約、コードでも検討できるほど、その視点ではあまり考えていないのかもしれません。ごめんなさい。

## 成功体験は語っても、成功体験に頼らないために。
清水吉男さんに見習いたいのは、「成功体験は語っても、成功体験に頼らない」こと。どうしても、うまく行くと有頂天になり、周りが見えなくなる。

清水吉男さんは、注意深く周りを見渡しながら、仕事をしている。

自分では、見習えない時は、周りの人に見習ってもらうのも手かも。

成功体験は語っても、成功体験に頼らないために。清水吉男・田中伸明・柏原一雄・佐々木 眞一。仮説・検証（153）
https://qiita.com/kaizen_nagoya/items/d32adfaf7b2568bfd9d2

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words and/or centences in order.
Este artículo no está completo. Agregaré algunas palabras en orden.

## 知人資料
' @kazuo_reve 私が効果を確認した「小川メソッド」
https://qiita.com/kazuo_reve/items/a3ea1d9171deeccc04da

' @kazuo_reve 新人の方によく展開している有益な情報
https://qiita.com/kazuo_reve/items/d1a3f0ee48e24bba38f1

' @kazuo_reve Vモデルについて勘違いしていたと思ったこと
https://qiita.com/kazuo_reve/items/46fddb094563bd9b2e1e

## 自己記事一覧
Qiitaで逆リンクを表示しなくなったような気がする。時々、スマフォで表示するとあらわることがあり、完全に削除したのではなさそう。2024年４月以降、せっせとリンクリストを作り、統計を取って確率を説明しようとしている。2025年２月末を目標にしていた。

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

views 20,000越え自己記事一覧
https://qiita.com/kaizen_nagoya/items/58e8bd6450957cdecd81

Views１万越え、もうすぐ１万記事一覧 最近いいねをいただいた216記事
https://qiita.com/kaizen_nagoya/items/d2b805717a92459ce853

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

C++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding(0) Rules, C, Secure, MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48) 
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

なぜdockerで機械学習するか 書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

Python(0)記事をまとめたい。
https://qiita.com/kaizen_nagoya/items/088c57d70ab6904ebb53

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

技術士(0)一覧
https://qiita.com/kaizen_nagoya/items/ce4ccf4eb9c5600b89ea

Reserchmap(0) 一覧
https://qiita.com/kaizen_nagoya/items/506c79e562f406c4257e

物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学 
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

coq(0) 一覧
https://qiita.com/kaizen_nagoya/items/d22f9995cf2173bc3b13

統計(0)一覧
https://qiita.com/kaizen_nagoya/items/80d3b221807e53e88aba

図(0) state, sequence and timing. UML and お絵描き 
https://qiita.com/kaizen_nagoya/items/60440a882146aeee9e8f

色(0) 記事100書く切り口 
https://qiita.com/kaizen_nagoya/items/22331c0335ed34326b9b

品質一覧 
https://qiita.com/kaizen_nagoya/items/2b99b8e9db6d94b2e971

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

水の資料集(0)　方針と成果
https://qiita.com/kaizen_nagoya/items/f5dbb30087ea732b52aa

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

音楽　一覧(0) 
https://qiita.com/kaizen_nagoya/items/b6e5f42bbfe3bbe40f5d

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧 
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/faa4ea03d91d901a618a

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

「はじめての」シリーズ　 ベクタージャパン　
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

LaTeX(0) 一覧　
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

programの本質は計画だ。programは設計だ。
https://qiita.com/kaizen_nagoya/items/c8545a769c246a458c27

登壇直後版 色使い(JIS安全色) Qiita Engineer Festa 2023〜私しか得しないニッチな技術でLT〜 スライド編 0.15
https://qiita.com/kaizen_nagoya/items/f0d3070d839f4f735b2b

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

逆も真：社会人が最初に確かめるとよいこと。OSEK(69)、Ethernet(59)
https://qiita.com/kaizen_nagoya/items/39afe4a728a31b903ddc

統計の嘘。仮説（127）
https://qiita.com/kaizen_nagoya/items/63b48ecf258a3471c51b

自分の言葉だけで論理展開できるのが天才なら、文章の引用だけで論理展開できるのが秀才だ。仮説（136）
https://qiita.com/kaizen_nagoya/items/97cf07b9e24f860624dd

参考文献駆動執筆(references driven writing)・デンソークリエイト編
https://qiita.com/kaizen_nagoya/items/b27b3f58b8bf265a5cd1

「何を」よりも「誰を」。１０年後のために今見習いたい人たち
https://qiita.com/kaizen_nagoya/items/8045978b16eb49d572b2

Qiitaの記事に３段階または５段階で到達するための方法
https://qiita.com/kaizen_nagoya/items/6e9298296852325adc5e

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

祝休日・謹賀新年 2025年の目標
https://qiita.com/kaizen_nagoya/items/dfa34827932f99c59bbc

Qiita 1年間をまとめた「振り返りページ」＠2024
https://qiita.com/kaizen_nagoya/items/ed6be239119c99b15828

2024 参加・主催Calendarと投稿記事一覧 Qiita(248)
https://qiita.com/kaizen_nagoya/items/d80b8fbac2496df7827f

主催Calendar2024分析 Qiita(254)
https://qiita.com/kaizen_nagoya/items/15807336d583076f70bc

Calendar 統計
https://qiita.com/kaizen_nagoya/items/e315558dcea8ee3fe43e

LLM 関連 Calendar 2024 
https://qiita.com/kaizen_nagoya/items/c36033cf66862d5496fa

Large Language Model Related Calendar 
https://qiita.com/kaizen_nagoya/items/3beb0bc3fb71e3ae6d66

博士論文 Calendar 2024 を開催します。 
https://qiita.com/kaizen_nagoya/items/51601357efbcaf1057d0

博士論文(0)関連記事一覧
https://qiita.com/kaizen_nagoya/items/8f223a760e607b705e78

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

あなたは「勘違いまとめ」から、勘違いだと言っていることが勘違いだといくつ見つけられますか。人間の間違い(human error(125))の種類と対策
https://qiita.com/kaizen_nagoya/items/ae391b77fffb098b8fb4

プログラマの「プログラムが書ける」思い込みは強みだ。３つの理由。仮説（168）統計と確率(17) , OSEK(79)
https://qiita.com/kaizen_nagoya/items/bc5dd86e414de402ec29

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

これからの情報伝達手段の在り方について考えてみよう。炎上と便乗。
https://qiita.com/kaizen_nagoya/items/71a09077ac195214f0db

ISO/IEC JTC1 SC7 Software and System Engineering
https://qiita.com/kaizen_nagoya/items/48b43f0f6976a078d907

アクセシビリティの知見を発信しよう！（再び）
https://qiita.com/kaizen_nagoya/items/03457eb9ee74105ee618

統計論及確率論輪講（再び）
https://qiita.com/kaizen_nagoya/items/590874ccfca988e85ea3

読者の心をグッと惹き寄せる7つの魔法
https://qiita.com/kaizen_nagoya/items/b1b5e89bd5c0a211d862

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

ソースコードで議論しよう。日本語で議論するの止めましょう（あるプログラミング技術の議論報告）
https://qiita.com/kaizen_nagoya/items/8b9811c80f3338c6c0b0

脳内コンパイラの3つの危険
https://qiita.com/kaizen_nagoya/items/7025cf2d7bd9f276e382

心理学の本を読むよりはコンパイラ書いた方がよくね。仮説（34）
https://qiita.com/kaizen_nagoya/items/fa715732cc148e48880e

NASAを超えるつもりがあれば読んでください。
https://qiita.com/kaizen_nagoya/items/e81669f9cb53109157f6

データサイエンティストの気づき!「勉強して仕事に役立てない人。大嫌い!!」『それ自分かも?』ってなった!!! 
https://qiita.com/kaizen_nagoya/items/d85830d58d8dd7f71d07

「ぼくの好きな先生」「人がやらないことをやれ」プログラマになるまで。仮説（37）　
https://qiita.com/kaizen_nagoya/items/53e4bded9fe5f724b3c4

なぜ経済学徒を辞め、計算機屋になったか（経済学部入学前・入学後・卒業後対応） 転職(1)  
https://qiita.com/kaizen_nagoya/items/06335a1d24c099733f64    

プログラミング言語教育のXYZ。 仮説（52） 
https://qiita.com/kaizen_nagoya/items/1950c5810fb5c0b07be4

【24卒向け】9ヶ月後に年収１０００万円を目指す。二つの関門と三つの道。
https://qiita.com/kaizen_nagoya/items/fb5bff147193f726ad25

「【25卒向け】Qiita Career Meetup for STUDENT」予習の勧め
https://qiita.com/kaizen_nagoya/items/00eadb8a6e738cb6336f

大学入試不合格でも筆記試験のない大学に入って卒業できる。卒業しなくても博士になれる。
https://qiita.com/kaizen_nagoya/items/74adec99f396d64b5fd5

全世界の不登校の子供たち「博士論文」を書こう。世界子供博士論文遠隔実践中心 安全(99)
https://qiita.com/kaizen_nagoya/items/912d69032c012bcc84f2

日本のプログラマが世界で戦える16分野。仮説(53),統計と確率(25) 転職(32)、Ethernet(58)
https://qiita.com/kaizen_nagoya/items/a7e634a996cdd02bc53b

小川メソッド　覚え（書きかけ）
https://qiita.com/kaizen_nagoya/items/3593d72eca551742df68

DoCAP（ドゥーキャップ）って何ですか？
https://qiita.com/kaizen_nagoya/items/47e0e6509ab792c43327

views 20,000越え自己記事一覧
https://qiita.com/kaizen_nagoya/items/58e8bd6450957cdecd81

Views１万越え、もうすぐ１万記事一覧 最近いいねをいただいた213記事
https://qiita.com/kaizen_nagoya/items/d2b805717a92459ce853

amazon 殿堂入りNo1レビュアになるまで。仮説(102)
https://qiita.com/kaizen_nagoya/items/83259d18921ce75a91f4

100以上いいねをいただいた記事16選
https://qiita.com/kaizen_nagoya/items/f8d958d9084ffbd15d2a

水道局10年(1976,4-1986,3)を振り返る
https://qiita.com/kaizen_nagoya/items/707fcf6fae230dd349bf

小川清最終講義、最終講義（再）計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on my individual experience. It has nothing to do with the organization or business to which I currently belong.
Este artículo es una impresión personal basada en mi experiencia personal. No tiene nada que ver con la organización o empresa a la que pertenezco actualmente.
### 文書履歴(document history)
ver. 0.01 初稿 　20250518
### 最後までおよみいただきありがとうございました。
いいね　💚、フォローをお願いします。
#### Thank you very much for reading to the last sentence.
Please press the like icon 💚　and follow me for your happy life.
#### Muchas gracias por leer hasta la última oración.
Por favor, haz clic en el ícono Me gusta 💚 y sígueme para tener una vida feliz.