WTIH -> WITH
Pointed out by Dmitriy Olshevskiy
Backpatch to 9.5 where create_policy.sgml was added.
UPDATE path is taken. Any existing row that
necessitates that the UPDATE path be taken must pass
the (UPDATE or ALL) USING qualifications (combined
- using OR), which are always enforced as WTIH CHECK
+ using OR), which are always enforced as WITH CHECK
options in this context (the UPDATE path will
never> be silently avoided; an error will be thrown
instead). Finally, the final row appended to the relation must pass