Talk:Kramkov's optional decomposition theorem