Question 1032500
Are these both true?
{{{system(h(K(x))=x,K(h(x))=x)}}}