Last punch at ProofSamples/BoolTrioSeq