first commit of b6, not 100% yet but ok
updated to do the reducability stuff for part b, can you guys check for wording and clarity