I would like to ask if there is a formal description of the multiple write head case, as this case is not presented in the original paper.