follow = first (prox)