Q13, rewritten Q9