Talk:BRST algorithm