Arvind, 2016. The Weisfeiler-Lehman Procedure 120.