Talk:Recent Updates/@comment-68.100.170.142-20140314044306/@comment-24546329-20140314053850

the other DD is Z3