add some quants
add some theorver
add \Def and \Th