f:🅰️↪🅱️g:🅱️↪🅰️⇒∃h:🅰️↔️🅱️

💉🅰️→🅱️💉🅱️→🅰️⇒🤝🅰️=🅱️

🅰️↪🅱️&🅱️↪🅰️⇒🅰️↔️🅱️