Extract defun