Fractional chromatic number of a random subgraph. Issue 3 (22nd April 2020)