Talk:Implicational hierarchy