CompatibleProof -- /DesignIssues

Add a description of CompatibleProof -- /DesignIssues