"independent implementability" . . . "independent implementability" .