* simplifying verbatim