tactics to make reasoning about expr easier.