Reworking informal example presentation