@(n:Nat) @(m:Nat) @(r:Nat) Nat