10.1017/S0007114515001907