pp tweaks
some functions to comfortably work with bound when reducing and tychecking