Boolean SpringProbe.IsSolved { get; }