It makes the cafeteria food taste better.