\header {
texidoc = "By setting the padding between systems to a negative
value, it is possible to eliminate the anti-collision constraints.
\header {
texidoc = "By setting the padding between systems to a negative
value, it is possible to eliminate the anti-collision constraints.