Erler allmen förmodan , tordenasta