"You should never have loops in a family tree!" #QEDcon