den formela behandlingen tyckes vara i framåtskridande hos Lie.