Talk:Mantle/@comment-226878-20140919024818/@comment-410526-20151122161223

So this was wrong. Another reason we shouldn't assume anything, even if it seems obvious.