Först gäller det antagandet altPetrus