Fractional BU & Proof Libertads & Sets