Added more formal bound stuff
merge