Apologies if this strays OT a bit, but b/c of the way I ... introduced to logics, I have a tendency to "over-write". For ... --> C does not necessarily connote how B, C, and L are related (or it ... is possibly a red herring), but this may not be the case ...