Characteristic predicate Configuration :: Configuration