Main #Satisfying Conclusion