/GetSatisfactionConnectorConceptProof.java
