Detta är i formelt , logi klhänseende