(= ($1)
   (match &self ($1) ($1))
   True)

(= ($1 $2)
   (match &self ($1 $2) ($1 $2))
   True)

(= ($1 $2 $3)
   (match &self ($1 $2 $3) ($1 $2 $3))
   True)

(= ($1 $2 $3 $4)
   (match &self ($1 $2 $3 $4) ($1 $2 $3 $4))
   True)

(= ($1 $2 $3 $4 $5)
   (match &self ($1 $2 $3 $4 $5) ($1 $2 $3 $4 $5))
   True)

(= ($1 $2 $3 $4 $5 $6)
   (match &self ($1 $2 $3 $4 $5 $6) ($1 $2 $3 $4 $5 $6))
   True)

(= ($1 $2 $3 $4 $5 $6 $7)
   (match &self ($1 $2 $3 $4 $5 $6 $7) ($1 $2 $3 $4 $5 $6 $7))
   True)

(= ($1 $2 $3 $4 $5 $6 $7 $8)
   (match &self ($1 $2 $3 $4 $5 $6 $7 $8) ($1 $2 $3 $4 $5 $6 $7 $8))
   True)

(= ($1 $2 $3 $4 $5 $6 $7 $8 $9)
   (match &self ($1 $2 $3 $4 $5 $6 $7 $8 $9) ($1 $2 $3 $4 $5 $6 $7 $8 $9))
   True)


(= (mfn $1) (match &self ($1 $r) $r))

(= (mfn $1 $2) (match &self ($1 $2 $r) $r))

(= (mfn $1 $2 $3) (match &self ($1 $2 $3 $r) $r))

(= (mfn $1 $2 $3 $4) (match &self ($1 $2 $3 $4 $r) $r))

(= (mfn $1 $2 $3 $4 $5) (match &self ($1 $2 $3 $4 $5 $r) $r))

(= (mfn $1 $2 $3 $4 $5 $6) (match &self ($1 $2 $3 $4 $5 $6 $r) $r))

(= (mfn $1 $2 $3 $4 $5 $6 $7) (match &self ($1 $2 $3 $4 $5 $6 $7 $r) $r))

(= (mfn $1 $2 $3 $4 $5 $6 $7 $8) (match &self ($1 $2 $3 $4 $5 $6 $7 $8 $r) $r))

(= (mfn $1 $2 $3 $4 $5 $6 $7 $8 $9) (match &self ($1 $2 $3 $4 $5 $6 $7 $8 $9 $r) $r))