發送短信 : Generalized hypersubstitutions of many-sorted algebras

  _  _    __   __   ______      ___              
 | \| ||  \ \\/ // |      \\   / _ \\      ___   
 |  ' ||   \ ` //  |  --  //  / //\ \\    /   || 
 | .  ||    | ||   |  --  \\ |  ___  ||  | [] || 
 |_|\_||    |_||   |______// |_||  |_||   \__ || 
 `-` -`     `-`'   `------`  `-`   `-`     -|_|| 
                                            `-`