Af detta allt följer: