/KindlingConnectorConceptProof.java
