Q Proof +++ (Part Two)