Prompt Specs For Correct SQL