there exists, for all