Från den formella synpunktensåledes