Decrease Following Distance Definition Simple Predicate Vs Complete