This is an old revision of the document!
Grep for AAA and BBB and CCC (in any order)
Grep for AAA and BBB and CCC (in that order)
