Talk:Syntomic topology