Deconstruct the Roko's Basilisk thought experiment using formal decision theory. Analyze whether a future superintelligence would have an incentive to torture those who did not help create it, and whether a rational agent should concern themselves with this possibility a priori. Discuss the concepts of acausal trade and Newcomb's paradox in your analysis.