Some steps towards Yggdrasil.