I'm trying to figure out if (2) necessarily follows from (1). Or can (1) and (2) be true together? 1) whoever does X, except for the reason of Y, commits Z 2) whoever does X, for the reason of Y, does not commit Z It kinda makes sense to me that (2) would follow but I'd appreciate any feedback, as the middle use of an exception throws me off.