Talk:Completeness of atomic initial sequents