Hobergsgubbeus axiom : " Ingalundawill