Ur rent formel synpunkt tordesåledes