Media / TDT / Reasoning / R_A_D_AS1_S1_fig1
Proof by modelling.
R_A_D_AS4_S...
R_A_D_AS3_S...
R_A_D_AS2_S...