Local context, real numbers, and no pressure
Local context, real numbers, and no pressure