hatexistence x if your grandfather is H