introducing defun