Fix point for all remaining inference rules