Another predeterminer simplification