what about the non-us citizens who pay tax ??