public static function remove_leading($string, $leading_string)
    {
        if (StringTool :: start_with($string, $leading_string))
        {
            return substr($string, strlen($leading_string));
        }
        else
        {
            return $string;
        }
    }