this should also require => User[$user]