Således har man genom antagandeaf