should probably be wrapped in an <example>