There is no hope of finding any natural end to the dissection of statements by this method, especially since we can always introduce new universals defined for the purpose of making a further dissection possible.