+ = K @ t y = +'s lists