^ ^ =s do q rfl ^ M wA