so that nobody “optimizes” it