hypothesis_trio
