`tri d = chooseTwo d + d`.