Asem and d_if