Principale #Satisfying Conclusion