Formality clash check - mfad