Pred-462 |verified| < SIMPLE