Ato Eficaz versus Ato Exequível