(WKY23) V (WKY04)