Bugs fixed! 1. Property of transitivity; 2. Visitor