You can also go to the other sides:
1) congruencia
1. -- > propiedad
2. ---- > falta
3. ------ > congruencia