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