Interface Derivator