private static Tuple <PositiveInt, PositiveInt> ConvertFromLevel(Level level) => Tuple.Create(PositiveInt.NewPositiveInt(level.Max), PositiveInt.NewPositiveInt(level.Value));