/Я language (β)/Primitives/Minus/

: ( i `M` ii ) ~ ( Minus i ii )
: ( i `S` ii `M` ii ) ~ ( i )
: ( i `S` ii `M` i ) ~ ( ii )