RT DW A1 Paradise, Orr. T1 On Proofs and Translation