hatexistence, if your grandfather is H