Framework to logically validate laws