repair example (Nat8 => Nat)
make a choice between LPO and Matrices