for T being Ternary_Boolean_Algebra
for a, b being Element of T holds Tern ((b `),b,a) = Tern (a,b,(b `))