Talk:Z3/@comment-25766399-20150617065123/@comment-25435890-20150617074617

Yes.