How to convince Y that X has committed a murder with >0.999999 probability? — LessWrong