Logic in the theory and practice of lawmaking. ([2015])