GuignaAdditions: join, split