The k-dimensional Weisfeiler-Leman algorithm (k-WL) is a very useful combinatorial tool in graph isomorphism testing. We address the applicability of k-WL to recognition properties. Let G be an input with n vertices. show that, if prime, then vertex-transitivity can seen straightforward way from output 2-WL on and vertex-individualized copies G. This perhaps first non-trivial example using for ...