 Secondly, one can formulate a symmetric or congruous version of abduction by having it sanction, given a comparative premise, only a comparative conclusion; this option, too, can in turn be realized in more than one way. Here is one way to do it, which has been proposed and defended in the work of Theo Kuipers (e.g., Kuipers 1984, 1992, 2000).