implica queformula_10, i.e.