Branch PK: (name, programme) -> (name)