a cat is an animal i have an animal does that mean i have a cat not necessarily irv is a form of stv but all stv is not irv