def remove_start(s: str, start: str):
    """
    Helper function to remove the beginning of a string.
    :param s: the string to remove the prefix from.
    :param start: the prefix of the string to remove.
    :return: s with the start of the string removed.
    """
    assert s.startswith(start)
    return s[len(start):]