thermal - Revision 591: /lidar/prl/proofs