Men ur formel synpunktär