new methods getHighestStateVal() and getHighestState()