Law logic