Formality Mixed-Signal