Should `user` have a default of `None`?