https://exunoplura.com/2013/09/11/contingency-and-irreducibility/