Resulting interface: