Talk:Coercive logic