Updated Q7 and added conditional independence checker for Q6