#N canvas 0 0 450 161 10;
#X obj 13 21 inlet;
#X obj 13 121 outlet;
#X obj 13 97 commutative-test \$1 \$2;
#X obj 35 78 transitive-test \$1 \$2;
#X obj 57 59 reflexive-test \$1 \$2;
#X obj 13 40 t b b b;
#X connect 0 0 5 0;
#X connect 2 0 1 0;
#X connect 3 0 1 0;
#X connect 4 0 1 0;
#X connect 5 0 2 0;
#X connect 5 1 3 0;
#X connect 5 2 4 0;