For discussion: these are included elsewhere