redef interface