Analyzing Law C by Brian Bix