The intersection of two rectangular codes is another rectangular code; therefore, "nonlinear" codes such as lattice shells or words of constant weight in a linear code have biproper trellis ...