Haec formula generat nexus ad opera exportanda