[adrianmonk]

Your last part needs an "and if they were logically consistent" qualifier. (Which they may be, but I wouldn't assume.)