Bob opened a new file: (plain text, no formatting traps).
He exported to Markdown, then to PDF. But the system's final step was bob doto a system for writing pdf
He closed the word processor.