premise: this proves beyond peradventure that he is innocent
hypothesis: peradventure is best characterized as a kind or type of electrophoridae (or family Electrophoridae, Electrophoridae), defined as 'small family comprising the electric eels' .