def get_random_number():
    # verified by the roll of a fair die to be random
    return 4