import json


def read_json(json_file):
    """ (file) -> dict
    Read in json_file, which is in json format, and
    output a dict with its contents
    """
    with open(json_file) as data_file:
        data = json.load(data_file)
    return data