However, if φ m (t i ) = φ m (t j ), then we proceed to compute the similarity s(t i , t j ).
restricting nodes by m(t i , t j ) is a way to prune the search space of matching subtrees, as shown below.