add instance-of