Talk:Z3/@comment-26155909-20160320201524/@comment-27130847-20160409105513

Yes.