fixed Inverse and implemented HonestRepresentative