When Computers Can Discuss Shape Properties with Each Other by Xin Yu Yang