A Formal Solution to Reichenbach's Reference Class Problem. (14th November 2019)