the `receiver: User` is the relation.