SpringVerify IN | Insufficiency | Knowledge Base