Add procedding tex