I formelt hänseende lär dettatal