How ocean temperatures are measured, by Dilbert