basics: attempting to clarify the discussion of logic, LEM, AC, etc.