naturality

equal traverse

naturality1

traverse1