added simpler well_formed_interfaces definition