(WKY23) V (WKY09)