The first one seems necessary to build (or verify) the second one.
No, the second one takes the first one for granted. This is asking which of the two parts of the full solution are load bearing.
The first one seems necessary to build (or verify) the second one.
No, the second one takes the first one for granted. This is asking which of the two parts of the full solution are load bearing.