thermal - Revision 593: /lidar/prl/proofs