  In this note we prove injectivity and relative asphericity for "layered"
systems of equations over torsion-free groups, when the exponent matrix is
invertible over Z. We also give elementary geometric proofs of results due to
Bogley-Pride and Serre that are used in the proof of the main theorem.
