T-Stuckey and Proof