Formalisable (adj.)