Completed the first part of the argument for b.