<<>> <> <> <<>> Require Cedar AIS AISCommands