Computing the Premium and Updating State