A lot of exciting development happening in the package one has to appreciate. Also graphs as a modality in general :)