command ((old new (constantly #t))) requires (and (ral? ls) (procedure? proc) "(proc item)") ensures new