Edited Examples A and B in the embodied chapter.