Talk:Z3/@comment-28242040-20160720183948

yeah finally

welcome to the base.