===Sheet 11 Exercise 3 Spoiler 6 === (In hint 3) M' = B whereas if A != B M_f !=B (Why though? :)