Lost Logic of Normal-Φ