seems like we really need monotonicy not to disrupt termination measures...
routine
redid tsel1
fixed a trustme
update