Prosedur Implications Out added