Hardly so. If there exists logical holes one has to fix those and make quite formal proofs.
The hidden agenda shows up when ILE goes into depressive state and needs uplifting.