Finished with typeset predicates