Added supersequent implementation.