logical independence