KMP: add |