<<>> <> <> <<>> Require Cedar Interpress IPWrittenCommands