this should require => User[$user]