#N canvas 118 56 450 189 10;
#X obj 13 21 inlet;
#X obj 13 141 outlet;
#X obj 35 87 transitive-test \$1 \$2;
#X obj 13 107 antisymmetric-test \$1 \$2;
#X obj 57 67 antireflexive-test \$1 \$2;
#X obj 13 41 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 3 0;
#X connect 5 1 2 0;
#X connect 5 2 4 0;