\a:#.\b:#.\c:#.\d:#.
\P:(a=b)&(b=c)&(c=d).
	transE a c d 
		{
		 transE a b c {proj 1 P, proj 2 P}
		,
		 proj 3 P
		}