PROOF OF SQL