The with-pac case is on line 211, but I agree -- I can move things around to make it clear.