Measure functions must be positive.
Corrects Cook--Levin.