I think it's OK if the ::= s line up.