A note on the multiple-trace memory model without simulation