two level proof
ttt