simp Q

simp Q