Introduction to dhef