definition user { relation non_sharable: user* }