Decision-Relevance of worlds and ADT implementations — LessWrong