 The challenge to using \(K_3\) to flesh out a paracomplete theory is to explain how anything like (even rule-form) capture and release hold, and if you follow the deflationist line, how full unrestricted capture and release hold. One way of understanding the important work of Kripke (1975) (and related work of Martin and Woodruff 1975) is as a way of achieving just that.