Some gomblesteins are panganters and all panganters are gerbelsons. Are some gomblesteins definitely gerbelsons?