added 'prevost' operator