divagations

not defined yet