A completeness theorem for “theories of kind W”