Text this: The Intersection of Algorithmically Random Closed Sets and Effective Dimension.