pub trait Inv<T>
{
  fn inv(&self) -> Self;
}