spec to check if viettien is king of nguyen