First example done. See #54