[spec] add to integral laws