发现John∪△∪