First loaves and some proof confusion