proof of sql